Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
171	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO
172	MATHEMATICAL ENGINEERING TECHNICAL REPORTS Sparse Linear Complementarity Problems Hanna SUMITA, Naonori KAKIMURA, and Add to Reading List Source URL: www.keisu.t.u-tokyo.ac.jp Language: English - Date: 2013-01-25 04:57:12 Computational complexity theory Mathematics Operations research Algebra Linear algebra Linear complementarity problem Mathematical optimization Linear programming NP Inequality Time complexity LCP array
173	Proceedings of the 45th Annual Conference of the ORSNZ, NovemberOpenSolver: Open Source Optimisation for Excel www.opensolver.org Andrew J Mason Add to Reading List Source URL: secure.orsnz.org.nz Language: English - Date: 2010-11-30 23:14:37 Software Mathematical optimization Mathematical software Mathematical modeling Computer algebra systems Operations research Numerical software AMPL COIN-OR Linear programming Microsoft Excel Spreadsheet
174	D:/Sebastian/MODELBASE/MONFISPOL REPORTS/Delivarables/deliverable_512/text/MMB_user_manual.dvi Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 06:32:25 Software Array programming languages Cross-platform software Numerical software Linear algebra MATLAB Mathematical software Macroeconomic model Economic model Conceptual model Command-line interface Menu
175	This article is taken from Brain Products Press Release Volume 46 Support Tip How to add methods to BrainVision Analyzer quickly and easily? An example of the interactive Matlab interface by Dr. Roland Csuhaj New signal Add to Reading List Source URL: www.brainproducts.com Language: English - Date: 2013-04-03 09:08:03 Software Application software Mathematical software Array programming languages Numerical software Cross-platform software Linear algebra MATLAB Comment Mode
176	Optimal Dynamic Choice of Durable and Perishable Goods † By Peter Bank, Humboldt University of Berlin, and Frank Riedel, Stanford University July 2003 Add to Reading List Source URL: page.math.tu-berlin.de Language: English Economics Economy Consumer theory Utility Marginal concepts Mathematical optimization Operations research Durable good Intertemporal choice Marginal utility Marginal rate of substitution Dynamic programming
177	1 © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2015-11-23 08:35:03 Emerging technologies Mathematical optimization Operations research Stochastic optimization Stochastic programming Smart grid Applied mathematics Analysis
178	Microsoft Word - HP 49g AUR Oct28 1000am TOC gutter.doc Add to Reading List Source URL: www.radixoy.com Language: English - Date: 2010-05-11 06:43:13 Software engineering Computer programming Software Calculators Mathematical notation Reverse Polish notation RPL Compiler Recursion
179	Mathematical Programming I. North-Holland Publishing Company MATROIDS A N D THE G R E E D Y ALGORITHM * Jack EDMONDS National Bureau o f Standards, Washington, D.C., U.S.A. Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Mathematics Matroid theory Combinatorics Discrete mathematics Matroid XTR Linear programming Submodular set function Oriented matroid Matroid minor
180	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic

UPDATE